public class Type extends Element {

	/**
	 * 
	 * @return 
	 */
	public Type integer() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public Type booleanano() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public Type real() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public Type string() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param c
	 * @return 
	 */
	public Type asType(Class c) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param e
	 * @return 
	 */
	public Type asType(Enumeration e) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public boolean isFinite() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public Sequence_Value values() {
		throw new UnsupportedOperationException();
	}

}